This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

There is a constructive method to define a structure of simple k -cyclic Post algebra of order p , L p , k , on a given finite field F ( p k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) (...) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) = R for every $${R \in \mathcal{V}(F(p^k))}$$. In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ -groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ -groups with strong unit. Some applications are given thereof.

In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬ x ∨ ¬¬ x = 1. Some applications are given.

The variety O2 of double Ockham algebras consists of the algebras (A ∨, ∧, f,g 0,1) of type (2,2,1,1,0,0) where (A; ∨, ∧,f, 0,1) and (A; ∨, ∧,g 0,1) are Ockham algebras. In [16], M. Sequeira introduced several subvarieties of O2. In this paper we give a construction of free double Ockham algebras on a partially ordered set. We also describe free objects for the subvarieties of O2 considered in [16].

In this work we provide a new topological representation for implication algebras in such a way that its one-point compactification is the topological space given in [1]. Some applications are given thereof.

The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equational basis for each subvariety is given.

AbstractŁukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bigcup_{x\in X} [x_\theta)}$$\end{document} for a certain congruence θ over the |X|-free MV-algebra. As corollary we (...) describe the free algebras in all subvarieties of Łukasiewicz implication algebras. (shrink)

There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L p,κ, on a given finite field F, and conversely. There exists an interpretation Ф₁ of the variety V generated by L p,κ into the variety V) generated by F and an interpretation Ф₂ of V) into V such that Ф₂Ф₁ = B for every B ϵ V and Ф₁₂ = R for every R ϵ V). In this paper we show how we (...) can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬x ∨ ¬¬x = 1. Some applications are given.

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.

Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can be (...) only decomposed into a direct product of two factors, one of which is the two-element implication algebra. (shrink)

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

AbstractŁukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can be (...) only decomposed into a direct product of two factors, one of which is the two-element implication algebra. (shrink)

Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to ${\bigcup_{x\in X} [x_\theta)}$ for a certain congruence θ over the |X|-free MV-algebra. As corollary we describe the free algebras in all subvarieties of Łukasiewicz (...) implication algebras. (shrink)

In this paper we study the subdirectly irreducible algebras in the variety of pseudocomplemented De Morgan algebras by means of their De Morgan p‐spaces. We introduce the notion of the body of an algebra and determine when is subdirectly irreducible. As a consequence of this, in the case of pseudocomplemented Kleene algebras, two special subvarieties arise naturally, for which we give explicit identities that characterise them. We also introduce a subvariety of, namely the variety of bundle pseudocomplemented Kleene algebras, fully (...) describe its subvariety lattice and find explicit equational bases for each subvariety. In addition, we study the subvariety of generated by the simple members of, determine the structure of the free algebra over a finite set in this variety and their finite weakly projective algebras. (shrink)

El libro recoge siete artículos, cuatro sobre temas de la filosofía de Descartes y tres sobre la de Spinoza, algunos ya publicados y otros inéditos, como lo señalan los Créditos Editoriales, pero con versiones revisadas, corregidas y ampliadas. Aunque cada uno de los capítulos puede ser leído de manera independiente, hay un hilo conductor que los integra, y que no es otro que la confrontación entre el racionalismo moderado del pensador francés y el racionalismo radical del judío de Ámsterdam: “Spinoza (...) quiere acabar con el misterio que rodea la razón o que le subyace –leemos en la contraportada–, misterio que hace afirmar a Descartes en la Meditación tercera: «es propio de la naturaleza del infinito que mi naturaleza, que es finita y limitada, no pueda comprenderlo»”. Se trata así de una de las tensiones básicas que atraviesan todo el pensamiento moderno. (shrink)

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \mathop{\boldsymbol {\bigwedge }}\limits p = q$. For a logic L algebraized by a quasivariety $\mathcal {Q}$ we show that the AE-subclasses of $\mathcal {Q}$ correspond to certain natural expansions of L, which we call algebraic expansions. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of (...) abelian $\ell $ -groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics. (shrink)

A la lectura de La escritura del duelo de Victoria Eugenia Díaz Facio Lince -psicóloga, magíster en Ciencias Sociales y doctora en Humanidades; profesora e investigadora de la Universidad de Antioquia-, se nos introduce con un epígrafe del escritor español Francisco Umbral.

Naturalism provides a rigorous analysis and critique of the major varieties of contemporary philosophical naturalism. The authors advocate the thesis that contemporary naturalism should be abandoned, in light of the serious objections raised against it. Contributors draw on a wide range of topics including: epistemology, the philosophy of science, the philosophy of mind and agency, and natural theology.

El desarrollo de la ciencia y la tecnología y de las competencias técnicas ha impulsado el desarrollo de las sociedad haciéndolas más complejas, causando que las aptitudes emocionales se conviertan en factores de éxito, ya que afectan el desempeño humano en todos los escenarios donde se desenvuelve, no obstante a pesar de las investigaciones en este área, actualmente no se cuenta con modelos que relacionen dichas aptitudes con el rendimiento organizacional, lo cual dio origen a esta investigación que busca determinar (...) el impacto de dichas competencias en la ejecución de proyectos en la empresa ENGISERV VENEZUELA C.A. Para realizar el estudio la metodología usada considero que se trata de una investigación de campo, no experimental y transversal. La población fue de 35 expertos en proyectos y la muestra se seleccionó por el método probabilístico aleatorio simple, Concluyéndose que las competencias emocionales afectan el rendimiento de los proyectos cerca 83,4%. Palabras Clave: Inteligencia emocional, competencias emocionales, rendimiento de proyectos. Referencias [1]J. García. «Caminos de la reflexión La teoría Orteguiana de las ideas y las creencias en el contexto de la escuela de Madrid».Edición 8, España: Biblioteca Nueva 2009. [2]D. McClelland. «Testing for Competencies rather than intelligence». American Psychologist. Edicion 1, NewYork, Harvard University 1973. [3]Levy-Leboyer, Claude. «Gestión de las Competencias».Edición 1, Ediciones Gestión 2000. Barcelona, España 1997. [4]R. Bisquerra. “Educación emocional y competencias básicas para la vida”. RIE, vol 21, pp. 1, 7-43. Junio 2003. [5]R. Fragoso "Inteligencia emocional y competencias emocionales en educación superior, ¿un mismo concepto?” RIES, vol. VI, no. 16, pp.110-125. Marzo 2015. [6]J. Sánchez “La competencia emocional en la escuela: una propuesta de organización dimensional y criterial”, RFEA. vol. 25, pp. 79-96, Abril 2010”. [7]Goleman, D. «Working with emotional intelligence». Bantam. 1998. [8]M. Vivas "La educación emocional: conceptos fundamentales." RUI, vol. 4, no. 2, pp.1-21. Agosto.2003. [9]W. Pinkerton. «Project management achieving project bottom-line success», Edicion 1, Pennsylvania Mc-Graw-Hill, 2003. [10]D. Goleman. «Inteligencia emocional en la empresa» Barcelona, España. Editorial Kairós, 2018. [11]C. Michelena. «Estrategias para la elaboración de un proyecto de investigación». Caracas: Insertos Médicos de Venezuela, 2004. [12]R. Sierra. «Técnicas de Investigación Social». Buenos Aires: Editorial Paraninfo.1992. [13]P. Baptista. C. Fernández y R Hernández. “Metodología de la investigación”. México DF: McGraw–Hill.2010. [14]M. Carbonero. “Formación inicial docente y competencias emocionales”: Educ. Pesqui. vol.45. pp.3-20 Abril, 2019. [15]American Management Association. «Leading with emotional intelligence», Nueva York, AMA 2012. (shrink)